161. Logic for programming, artificial intelligence, and reasoning

پدیدآورنده: / Franz Baader, Andrei Voronkov (eds.)

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Logic programming,Automatic theorem proving

رده :

QA

76

.

63

.

L735

2005

162. Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

پدیدآورنده: Moshe Y. Vardi, Anderi Voronkov )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2850

163. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

پدیدآورنده: Franz Baader, Andrei Voronkov )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming

رده :

QA

76

.

L28

Vol

.

3452

164. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

پدیدآورنده: Matthias Baaz, Andrei Voronkov )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2514

165. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings

پدیدآورنده: / Geoff Sutcliffe, Andrei Voronkov (eds.)

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses

رده :

005

.

115

I61L

2005

166. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings

پدیدآورنده: A. Voronkov, ed

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

624

167. Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses

رده :

QA

76

.

63

.

I55

1992

168. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

پدیدآورنده: LPAR, )1992 : Saint Petersburg, Russia(

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Logic programming - Congresses , Automatic theorem proving - Congresses

رده :

QA

76

.

63

.

I55

1992

169. Logic programming and automated reasoning : 5th International Conference, LPAR'94 Kiev, Ukraine, July 16-22, 1994 : proceedings

پدیدآورنده: Frank Pfenning )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

822

170. Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings

پدیدآورنده: A. Voronkov, )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

698

171. Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

پدیدآورنده: Harald Ganzinger, David McAllester, Andrei Voronkov, )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

1705

172. Logical frameworks

پدیدآورنده: edited by Gerard Huet, G. Plotkin

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Frames )Information theory(,، Logic,، Automatic theorem proving

رده :

Q

390

.

L64

173. Machine proofs in geometry: automated production of readable proofs for geometry theorems

پدیدآورنده: Chow, Shang- Ching, 6491-

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع: ، Axioms- Data processing,، Automatic theorem proving

رده :

QA

481

.

C48

.

M33

1994

174. Mathematics mechanization

پدیدآورنده: / by Wu Wen-tsun

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence

رده :

QA76

.

9

.

A96

,

W8

2000

175. Mathematics mechanization

پدیدآورنده: / by Wu Wen-tsun

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence

رده :

QA76

.

9

.

A96

,

W8

2000

176. Mathematics mechanization

پدیدآورنده: / by Wu Wen-tsun

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence

رده :

QA76

.

9

.

A96

,

W8

2000

177. Mathematics mechanization

پدیدآورنده: / by Wu Wen-tsun

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence

رده :

QA76

.

9

.

A96

,

W8

2000

178. Mathematics mechanization and applications

پدیدآورنده: edited by Xiao-Shan Gao and Dongming Wang

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Automatic theorem proving,Numerical solutions ، Equations,، Artificial intelligence,، Programming )Mathematics(

رده :

QA

76

.

9

.

A96

M34

2000

179. Mathematics mechanization and applications

پدیدآورنده: edited by Xiao-Shan Gao and Dongming Wang

کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)

موضوع: Equations, Numerical solutions, Data processing,Automatic theorem proving

رده :

{

1648

},

58f5cd92ab378d5ba32c2e983504bc9f

180. Mechanical geometry theorem proving /

پدیدآورنده: Shang-Ching Chou

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Automatic theorem proving

رده :

QA76

.

9

.

A96

C48

1988